﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace Snipr.AppLogic.Smt
{
    public class Assert
    {
        public Assert()
        {
        }
        public Assert(int greaterReq, int smallerReq, int weight)
        {
            GreaterReq = greaterReq;
            SmallerReq = smallerReq;
            Weight = weight;
        }

        public int GreaterReq { get; set; }
        public int SmallerReq { get; set; }
        public int Weight { get; set; }
    }
}
